At least for the time being, GETVCPUCONTEXT needs to work

even for uninitialised VCPUs. xc_linux_build() depends on
it (rather stupidly).

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/common/dom0_ops.c b/xen/common/dom0_ops.c
index 5d1f17adc7308b096d52550b66f56f6729a5fcab..9c682dffce0b4a86bcd51d49ad3657dfed96ffe7 100644 (file)
--- a/xen/common/dom0_ops.c
+++ b/xen/common/dom0_ops.c
@@ -446,8 +446,7 @@ long do_dom0_op(dom0_op_t *u_dom0_op)
             goto getvcpucontext_out;
 
         ret = -ESRCH;
-        v = d->vcpu[op->u.getvcpucontext.vcpu];
-        if ( (v == NULL) || !test_bit(_VCPUF_initialised, &v->vcpu_flags) )
+        if ( (v = d->vcpu[op->u.getvcpucontext.vcpu]) == NULL )
             goto getvcpucontext_out;
 
         ret = -ENOMEM;